SERGOT, MAREK: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Deontic logic in the representation of law: Towards a methodology

Andrew J. I. Jones, Marek Sergot

Journal:

Artificial Intelligence and Law

Year:

1992

Language:

english

File:

PDF, 1.27 MB

english, 1992

2

Contrary-to-duty obligations

Henry Prakken, Marek Sergot

Journal:

Year:

1996

Language:

english

File:

PDF, 1.31 MB

english, 1996

3

The representation of legal contracts

Aspassia Daskalopulu, Marek Sergot

Journal:

Year:

1997

Language:

english

File:

PDF, 841 KB

english, 1997

4

The Use of Logical Models in Legal Problem Solving

ROBERT KOWALSKI, MAREK SERGOT

Journal:

Year:

1990

Language:

english

File:

PDF, 1.09 MB

english, 1990

5

A logic-based calculus of events

Robert Kowalski, Marek Sergot

Journal:

New Generation Computing

Year:

1986

Language:

english

File:

PDF, 1.04 MB

english, 1986

6

Reasoning about Action and Change || Distant Causation in C+

Robert Craven and Marek Sergot

Journal:

Year:

2005

Language:

english

File:

PDF, 2.01 MB

english, 2005

7

An executable specification of a formal argumentation protocol

Alexander Artikis, Marek Sergot, Jeremy Pitt

Journal:

Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 389 KB

english, 2007

8

Papers in Deontic Logic || From the Editors

Andrew J. I. Jones and Marek Sergot

Journal:

Year:

1996

Language:

english

File:

PDF, 302 KB

english, 1996

9

Contributions of FGCS technology to applications in legal reasoning

Journal:

Future Generation Computer Systems

Year:

1995

Language:

english

File:

PDF, 1.66 MB

english, 1995

10

Agent strands in the action language

Robert Craven, Marek Sergot

Journal:

Journal of Applied Logic

Year:

2008

Language:

english

File:

PDF, 577 KB

english, 2008

11

Distant Causation inC+

Robert Craven, Marek Sergot

Journal:

Year:

2005

Language:

english

File:

PDF, 348 KB

english, 2005

12

Enhancing the utility of Proteomics Signature Profiling (PSP) with Pathway Derived Subnets (PDSs), performance analysis and specialised ontologies

Wilson Wen Bin Goh, Mengyuan Fan, Hong Sang Low, Marek Sergot, Limsoon Wong

Journal:

Year:

2013

Language:

english

File:

PDF, 686 KB

english, 2013

13

Specifying norm-governed computational societies

Artikis, Alexander, Sergot, Marek, Pitt, Jeremy

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 1.09 MB

english, 2009

14

A Formal Characterisation of Institutionalised Power

JONES, ANDREW J. I., SERGOT, MAREK

Journal:

Logic Journal of IGPL

Year:

1996

Language:

english

File:

PDF, 898 KB

english, 1996

15

Formalisation of the British nationality act

Sergot, Marek, Cory, Therese, Hammond, Peter, Kowalski, Robert, Kriwaczek, Frank, Sadri, Fariba

Journal:

International Review of Law Computers & Technology

Year:

1986

Language:

english

File:

PDF, 573 KB

english, 1986

16

USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS

FARRELL, ANDREW D. H., SERGOT, MAREK J., SALLÉ, MATHIAS, BARTOLINI, CLAUDIO

Journal:

International Journal of Cooperative Information Systems

Year:

2005

Language:

english

File:

PDF, 354 KB

english, 2005

17

The Dynamics of Knowledge || Deontic Interpreted Systems

Alessio Lomuscio and Marek Sergot

Journal:

Year:

2003

Language:

english

File:

PDF, 3.24 MB

english, 2003

18

Who is obliged when many are involved? Labelled transition system modelling of how obligation arises

Kulicki, Piotr, Trypuz, Robert, Sergot, Marek

Journal:

Artificial Intelligence and Law

Year:

2020

File:

PDF, 490 KB

2020

19

Computer support for protocol-based treatment of cancer

Peter Hammond, Marek Sergot

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 1.16 MB

english, 1996

20

A formalisation of violation, error recovery, and enforcement in the bit transmission problem

Alessio Lomuscio, Marek Sergot

Journal:

Journal of Applied Logic

Year:

2004

Language:

english

File:

PDF, 387 KB

english, 2004

21

An abstract framework for globalising interactive systems

Kostas Stathis, Marek Sergot

Journal:

Interacting with Computers

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

22

From the editors

Andrew J. I. Jones, Marek Sergot

Journal:

Year:

1996

Language:

english

File:

PDF, 101 KB

english, 1996

23

Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

Andrew D. H. Farrell, Marek J. Sergot, Claudio Bartolini

Journal:

Group Decision and Negotiation

Year:

2007

Language:

english

File:

PDF, 3.39 MB

english, 2007

24

Visualization of microarray results to assist interpretation

Irene Papatheodorou, Marek Sergot, Marty Randall, Graham R Stewart, Brian D Robertson

Journal:

Year:

2004

Language:

english

File:

PDF, 586 KB

english, 2004

25

Computational aspects of the FLBC framework

Aspassia Daskalopulu, Marek Sergot

Journal:

Decision Support Systems

Year:

2002

Language:

english

File:

PDF, 407 KB

english, 2002

26

Correction to “Comparative Network-Based Recovery Analysis and Proteomic Profiling of Neurological Changes in Valproic Acid-Treated Mice”

Goh, Wilson Wen Bin, Sergot, Marek J., Sng, Judy C. G., Wong, Limsoon

Journal:

Journal of Proteome Research

Year:

2013

File:

PDF, 104 KB

2013

27

Proteomics Signature Profiling (PSP): A Novel Contextualization Approach for Cancer Proteomics

Goh, Wilson Wen Bin, Lee, Yie Hou, Ramdzan, Zubaidah M., Sergot, Marek J., Chung, Maxey, Wong, Limsoon

Journal:

Journal of Proteome Research

Year:

2012

Language:

english

File:

PDF, 1.49 MB

english, 2012

28

Comparative Network-Based Recovery Analysis and Proteomic Profiling of Neurological Changes in Valproic Acid-Treated Mice

Goh, Wilson Wen Bin, Sergot, Marek J., Sng, Judy Cg, Wong, Limsoon

Journal:

Journal of Proteome Research

Year:

2013

Language:

english

File:

PDF, 3.13 MB

english, 2013

29

[ACM Press the 6th ACM International Conference - Berlin, Germany (2012.07.16-2012.07.20)] Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems - DEBS '12 - Run-time composite event recognition

Artikis, Alexander, Sergot, Marek, Paliouras, Georgios

Year:

2012

Language:

english

File:

PDF, 1.14 MB

english, 2012

30

An Event Calculus for Event Recognition

Artikis, Alexander, Sergot, Marek, Paliouras, Georgios

Journal:

IEEE Transactions on Knowledge and Data Engineering

Year:

2015

Language:

english

File:

PDF, 858 KB

english, 2015

31

[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - Formalization of a voting protocol for virtual organizations

Pitt, Jeremy, Kamara, Lloyd, Sergot, Marek, Artikis, Alexander

Year:

2005

Language:

english

File:

PDF, 311 KB

english, 2005

32

[ACM Press the fifth international conference - College Park, Maryland, United States (1995.05.21-1995.05.24)] Proceedings of the fifth international conference on Artificial intelligence and law - ICAIL '95 - A constraint-driven system for contract assembly

Daskalopulu, Aspassia, Sergot, Marek

Year:

1995

Language:

english

File:

PDF, 906 KB

english, 1995

33

Status-Based Access Control

Barker, Steve, Sergot, Marek J., Wijesekera, Duminda

Journal:

ACM Transactions on Information and System Security

Year:

2008

Language:

english

File:

PDF, 338 KB

english, 2008

34

[ACM Press the 9th international conference - Scotland, United Kingdom (2003.06.24-2003.06.28)] Proceedings of the 9th international conference on Artificial intelligence and law - ICAIL '03 - An executable specification of an argumentation protocol

Artikis, Alexander, Sergot, Marek, Pitt, Jeremy

Year:

2003

Language:

english

File:

PDF, 207 KB

english, 2003

35

[ACM Press the 10th international conference - Bologna, Italy (2005.06.06-2005.06.11)] Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL '05 - Voting in online deliberative assemblies

Pitt, Jeremy, Kamara, Lloyd, Sergot, Marek, Artikis, Alexander

Year:

2005

Language:

english

File:

PDF, 520 KB

english, 2005

36

[ACM Press the first international joint conference - Bologna, Italy (2002.07.15-2002.07.19)] Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 - The bit transmission problem revisited

Lomuscio, Alessio, Sergot, Marek

Year:

2002

Language:

english

File:

PDF, 76 KB

english, 2002

37

Knowledge-Based Front-Ends as Games

Stathis, Kostas, Sergot, Marek

Journal:

Failure and Lessons Learned in Information Technology Management

Year:

1997

Language:

english

File:

PDF, 1.66 MB

english, 1997

38

A network-based maximum link approach towards MS identifies potentially important roles for undetected ARRB1/2 and ACTB in liver cancer progression

Goh, Wilson Wen Bin, Lee, Yie Hou, Ramdzan, Zubaidah M., Chung, Maxey C.M., Wong, Limsoon, Sergot, Marek J.

Journal:

International Journal of Bioinformatics Research and Applications

Year:

2012

Language:

english

File:

PDF, 857 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски